
import java.io.PrintWriter;

class RecordType extends Type {

	private Node record_list_;

	public RecordType(Node rl) {
		record_list_ = rl;
	}

	@Override
	public void print(PrintWriter pw) {
		pw.println("Node name : RecordType");
		// assert(record_list_);
		record_list_.print(pw);
	}

}